Czech Technical University in Prague Faculty of Electrical Engineering Doctoral Thesis July 2014

Source URL: cyber.felk.cvut.cz

• Models of computation
• Algorithm
• Mathematical logic
• Theoretical computer science
• Artificial intelligence
• Mathematics
• Multi-agent system
• Game theory
• Agent-based model
• Science
• Applied mathematics
• Theory of computation

Accurate Static Branch Prediction by Value Range Propagation

Source URL: www.lighterra.com

• Software optimization
• Compiler optimizations
• Computer performance
• Data types
• Constant folding
• Algorithm
• Register allocation
• Lookup table
• Heuristic function
• Computing
• Computer programming
• Software engineering

teasers-valorisation_v2 (2).pdf

Source URL: www.tudelft.nl

• Cross-platform software
• Software engineering
• Built-in self-test
• Algorithm
• Electronics
• Integrated circuits
• Computing
• C

An Efficient Algorithm for Vibration Suppression to Meet Pointing Requirements of Optical Payloads

Source URL: faculty.nps.edu

• Mechanics
• Mechanical engineering
• Vibration isolation
• Active vibration control
• Vibration
• Hexapod
• Accelerometer
• Stewart platform
• Parallel manipulator
• Robot kinematics
• Earthquake engineering
• Construction

Application of Search Algorithms to Natural Language Processing Takeshi Matsumoto School of Informatics and Engineering Flinders University of South Australia [removed]

Source URL: www.alta.asn.au

• Computational linguistics
• Formal languages
• Compiler construction
• Parsing
• Treebank
• Algorithm
• Chart parser
• Search engine indexing
• Natural language processing
• Science
• Linguistics
• Information science

2009 HSC Exam Paper - Software Design and Development

Source URL: www.boardofstudies.nsw.edu.au

• Formal languages
• Pattern matching
• Holism
• Source code
• Subroutine
• University of Cambridge Computer Laboratory
• Algorithm
• Test
• Assembly language
• Computing
• Computer programming
• Software engineering

TEST REPORT MAY 2010 Effects of congestion on TCP transactions: comparison of Cisco Nexus 5010 and Arista 7124S network switches under incast conditions

Source URL: principledtechnologies.com

• Transmission Control Protocol
• Cisco Systems
• Network congestion
• Goodput
• Throughput
• TCP congestion avoidance algorithm
• Electronic engineering
• Nexus
• Network performance
• Computing
• Management

VIIRS Sea Surface Temperature (SST) EDR Release, Provisional Data Quality February 20, 2014 Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board released the VIIRS Sea Surface

Source URL: www.nsof.class.noaa.gov

• Earth
• Meteorology
• Atmospheric sciences
• Joint Polar Satellite System
• SWA
• Oceanography
• Aquatic ecology
• Sea surface temperature

Seismic maintenance of sensible equipment by using Pseudo Negative Stiffness (PNS) algorithm Arash Amanpour1, Mohsen Tehranizadeh2, Touraj Taghikhany3, Faraj Zarei4 Abstract In major earthquake not only civil engineering

Source URL: www.aees.org.au

• Earthquake engineering
• Structural analysis
• Materials science
• Earthquakes
• Seismic analysis
• Base isolation
• Vibration
• Hysteresis
• Great Hanshin earthquake
• Civil engineering
• Structural engineering
• Construction

CrIS SDR Release, Validated Data Quality Recommended Cautions for Data Users The JPSS Algorithm Engineering Review Board has released the CrIS Sensor Data Record product to the public with the data quality attribute of V

Source URL: www.nsof.class.noaa.gov